To prove the equation (cos x cos y)